：谓词公式(x)(P(x))→(z)Q(x,z)∧(y)R(x,y)中变元y( )A:既是自由变元又是约束变元B:是自由变元但不是约束变元C:既不是自由变元又不是约束变元D:是约束变元但不是自由变元答案: 是约束变元但不是自由变元3、

点击这里，查看本门网课答案